(record_char): Record `help-echo' input events
authorGerd Moellmann <gerd@gnu.org>
Mon, 4 Dec 2000 12:22:46 +0000 (12:22 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 4 Dec 2000 12:22:46 +0000 (12:22 +0000)
commit4cf8a898767111a0ca28f4bff4668ecde56f41bf
treee3a8f09b42c6e6d8b34841e11e57d5cdce7c58f9
parent7bb0ccdd49bf6a821a2d6ccfc84ce2f06290e475
(record_char): Record `help-echo' input events
in recent_keys only if they display some help.  Don't record
`help-echo' events as macro char.
src/keyboard.c